IsPrimeIdeal($R$;$P$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($\neg$($P$(1$R$))) \& ($\forall$$a$:$\mid$$R$$\mid$, $b$:$\mid$$R$$\mid$. ($P$($a$ ($\ast$$R$) $b$)) $\Rightarrow$ (($P$($a$)) $\vee$ ($P$($b$))))